منابع مشابه
The Lax-Milgram Theorem. A detailed proof to be formalized in Coq
To guarantee the correction of numerical simulation programs implementing the fi-nite element method, it is necessary to formalize the mathematical notions and results that allowto establish the soundness of the method. The Lax-Milgram theorem is one of those theoreticalcornerstones: under some completeness and coercivity assumptions, it states existence and unique-ness of the s...
متن کاملGeneralizations of Hedberg's Theorem
As the groupoid interpretation by Hofmann and Streicher shows, uniqueness of identity proofs (UIP) is not provable. Generalizing a theorem by Hedberg, we give new characterizations of types that satisfy UIP. It turns out to be natural in this context to consider constant endofunctions. For such a function, we can look at the type of its fixed points. We show that this type has at most one eleme...
متن کاملGeneralizations of Wei's Duality Theorem
Wei’s celebrated Duality Theorem is generalized in several ways, expressed as duality theorems for linear codes over division rings and, more generally, duality theorems for matroids. These results are further generalized, resulting in two Wei-type duality theorems for new combinatorial structures that are introduced and named demi-matroids. These generalize matroids and are the appropriate com...
متن کاملApplications and Generalizations of the Approximation Theorem
In its basic form, the approximation theorem referred to provides simple n n combinatorial models for spaces ~ E X, where X is a connected based space. The first such result was given by James [26], who showed that ~EX is equivalent to the James construction MX. The unpublished preprint form of Dyer and gashof's paper [25] gave an approximation to QX = lira ~nEnx, and Milgram [41] gave a cellul...
متن کاملGeneralizations of Brauer’s localization theorem
New eigenvalue inclusion regions are given by establishing the necessary and sufficient conditions for two classes of nonsingular matrices, named double α1-matrices and double α2-matrices. These results are generalizations of Brauer’s eigenvalue localization theorem and improvements over the results in [L. Cvetković, V. Kostić, R. Bru, and F. Pedroche. A simple generalization of Geršgorin’s the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Boundary Value Problems
سال: 2007
ISSN: 1687-2762
DOI: 10.1155/2007/87104